Meta-environment and executable meta-language using smalltalk: an experience report

Object-oriented modelling languages such as EMOF are often used to specify domain specific meta-models. However, these modelling languages lack the ability to describe behavior or operational semantics. Several approaches have used a subset of Java mixed with OCL as executable meta-languages. In this experience report we show how we use Smalltalk as an executable meta-language in the context of the Moose reengineering environment. We present how we implemented EMOF and its behavioral aspects. Over the last decade we validated this approach through incrementally building a meta-described reengineering environment. Such an approach bridges the gap between a code-oriented view and a meta-model driven one. It avoids the creation of yet another language and reuses the infrastructure and run-time of the underlying implementation language. It offers an uniform way of letting developers focus on their tasks while at the same time allowing them to meta-describe their domain model. The advantage of our approach is that developers use the same tools and environment they use for their regular tasks. Still the approach is not Smalltalk specific but can be applied to language offering an introspective API such as Ruby, Python, CLOS, Java and C

Control and Manipulation of Cold Atoms in Optical Tweezers

Neutral atoms trapped by laser light are amongst the most promising candidates for storing and processing information in a quantum computer or simulator. The application certainly calls for a scalable and flexible scheme for addressing and manipulating the atoms. We have now made this a reality by implementing a fast and versatile method to dynamically control the position of neutral atoms trapped in optical tweezers. The tweezers result from a spatial light modulator (SLM) controlling and shaping a large number of optical dipole-force traps. Trapped atoms adapt to any change in the potential landscape, such that one can re-arrange and randomly access individual sites within atom-trap arrays.Comment: 6 pages, 4 figure

First International Diagnosis Competition - DXC'09

A framework to compare and evaluate diagnosis algorithms (DAs) has been created jointly by NASA Ames Research Center and PARC. In this paper, we present the first concrete implementation of this framework as a competition called DXC 09. The goal of this competition was to evaluate and compare DAs in a common platform and to determine a winner based on diagnosis results. 12 DAs (model-based and otherwise) competed in this first year of the competition in 3 tracks that included industrial and synthetic systems. Specifically, the participants provided algorithms that communicated with the run-time architecture to receive scenario data and return diagnostic results. These algorithms were run on extended scenario data sets (different from sample set) to compute a set of pre-defined metrics. A ranking scheme based on weighted metrics was used to declare winners. This paper presents the systems used in DXC 09, description of faults and data sets, a listing of participating DAs, the metrics and results computed from running the DAs, and a superficial analysis of the results

Towards a Framework for Evaluating and Comparing Diagnosis Algorithms

Diagnostic inference involves the detection of anomalous system behavior and the identification of its cause, possibly down to a failed unit or to a parameter of a failed unit. Traditional approaches to solving this problem include expert/rule-based, model-based, and data-driven methods. Each approach (and various techniques within each approach) use different representations of the knowledge required to perform the diagnosis. The sensor data is expected to be combined with these internal representations to produce the diagnosis result. In spite of the availability of various diagnosis technologies, there have been only minimal efforts to develop a standardized software framework to run, evaluate, and compare different diagnosis technologies on the same system. This paper presents a framework that defines a standardized representation of the system knowledge, the sensor data, and the form of the diagnosis results and provides a run-time architecture that can execute diagnosis algorithms, send sensor data to the algorithms at appropriate time steps from a variety of sources (including the actual physical system), and collect resulting diagnoses. We also define a set of metrics that can be used to evaluate and compare the performance of the algorithms, and provide software to calculate the metrics

The Effects of Geometry and Architecture of Polymer Matrix Composites on Acoustic Emissions

The purpose of this project is to study how the variance of the geometry and architecture of polymer matrix composites (PMCs) affect the acoustic emissions measured whilst said structures are subjected to tensile stress. In these tests, a method called Modal AE will be utilized. In Modal AE, some relationships between sources and waves in various materials and geometries are presented in other papers/research. This study will focus on how different thickness and different makeup/ply patterns affect the acoustic emission tests. Some research has been completed and shown how energy attenuation affects the frequency content on PMCs similar to the ones chosen for this project. Using a similar test setup and analysis the goal of this project is to see if the thickness/geometry of these samples will affect energy attenuation and therefore affect frequency content. The reason frequency content is so important in AE is that it is a method of exploring the different damage modes PMCs experience during stress tests. From this data more information can be obtained about frequency content and the effects that energy attenuation/architecture/geometry can have on PMCs. These AE events can also be used to identify the location of a break and to see how internal breaks have propagated through the structure. Polymer matrix composites (PMCs) are widely used in the aerospace industry, particularly in structures securing thrust generating systems to the primary structure. Each test subjects a polymer matrix composite (PMC) of a specific thickness and weave design to determine the damage modes for each sample. The peak frequency of the propagated acoustic emissions with respect to the time domain will also be measured

Evidence of a dynamic ice sheet system in Filchner Trough until the early Holocene

The past ice sheet conditions in the southern Weddell Sea Embayment (WSE) are only poorly known. Studies from this area have led to two contradicting scenarios of maximum ice extent during the Last Glacial Maximum (LGM). The first scenario is mainly based on terrestrial data indicating only very limited ice sheet thickening in the hinterland and suggests a grounding-line position on the inner shelf. The alternative scenario is based on marine geological and geophysical data and concludes that the LGM grounding line was located on the outer shelf, about 650 km further offshore than in the other scenario. Three hypotheses have been brought forward to explain these two apparently contradictory scenarios. A) An ice plain was present on the shelf that enabled a large ice extent while maintaining little ice thickness in the hinterland. B) The maximum grounded ice advance lasted for a short period only and was probably caused by a short-termed touch down of an ice shelf on the outer shelf, which did not cause sufficient ice sheet thickening in the hinterland to be traced today. C) Due to an ice flow switch, Filchner Trough was fed by an area further to the west where ice had thickened at the LGM. Besides the poorly constrained LGM ice extent, studies suggest a complex development of its retreat speed and drainage pattern in succession of the LGM that needs to be further constraint. For example, radar data from ice rises in the southwestern hinterland of the WSE suggest that ice flow switches occurred as late as the Mid-Holocene and cosmogenic exposure ages indicate an early Holocene ice sheet thickness in the Ellsworth Mountains comparable to that of the LGM. We investigated multibeam bathymetry data (ATLAS Hydrosweep DS3), acoustic sub-bottom profiles (ATLAS Parasound P-70) and marine sediment cores collected from Filchner Trough during RV “Polarstern” expedition PS96 in Dec 2015-Feb 2016. Our key finding is a previously unknown stacked grounding zone wedge (GZW) located on the outer shelf. This GZW shows that the Filchner palaeo-ice stream stabilized at this position at least two times. Two sediment cores were recovered seaward of the GZW and on top of the lower part of the GZW, respectively. Radiocarbon dates from these cores indicate that (i) the GZW was formed in the Early Holocene and (ii) grounded ice did not extend seaward of the GZW at the LGM. Hence, our data provide evidence that the grounding line in Filchner Trough experienced dynamic changes in the Holocene and that no linear ice sheet retreat occurred within this trough after the LGM

Multisensory Home-Monitoring in Individuals With Stable Chronic Obstructive Pulmonary Disease and Asthma: Usability Study of the CAir-Desk

Background: Research integrating multisensory home-monitoring in respiratory disease is scarce. Therefore, we created a novel multisensory home-monitoring device tailored for long-term respiratory disease management (named the CAir-Desk). We hypothesize that recent technological accomplishments can be integrated into a multisensory participant-driven platform. We also believe that this platform could improve chronic disease management and be accessible to large groups at an acceptable cost. Objective: This study aimed to report on user adherence and acceptance as well as system functionality of the CAir-Desk in a sample of participants with stable chronic obstructive pulmonary disease (COPD) or asthma. Methods: We conducted an observational usability study. Participants took part in 4 weeks of home-monitoring with the CAir-Desk. The CAir-Desk recorded data from all participants on symptom burden, physical activity, spirometry, and environmental air quality; data on sputum production, and nocturnal cough were only recorded for participants who experienced symptoms. After the study period, participants reported on their perceptions of the usability of the monitoring device through a purpose-designed questionnaire. We used descriptive statistics and visualizations to display results. Results: Ten participants, 5 with COPD and 5 with asthma took part in this study. They completed symptom burden questionnaires on a median of 96% (25th percentile 14%, 75th percentile 96%), spirometry recordings on 55% (20%, 94%), wrist-worn physical activity recordings on 100% (97%, 100%), arm-worn physical activity recordings on 45% (13%, 63%), nocturnal cough recordings on 34% (9%, 54%), sputum recordings on 5% (3%, 12%), and environmental air quality recordings on 100% (99%, 100%) of the study days. The participants indicated that the measurements consumed a median of 13 (10, 15) min daily, and that they preferred the wrist-worn physical activity monitor to the arm-worn physical activity monitor. Conclusions: The CAir-Desk showed favorable technical performance and was well-accepted by our sample of participants with stable COPD and asthma. The obtained insights were used in a redesign of the CAir-Desk, which is currently applied in a randomized controlled trial including an interventional program